show the mapping is well defined